MODULE Proced2;

FROM Terminal IMPORT WriteString, WriteInt, WriteLn, WriteString;

END Proced2.